La signature de l`arithmétique de Peano comprend les symboles de l`addition, de la multiplication et de la fonction successeur, les symboles de l`égalité et de la relation inférieure, et un symbole constant pour 0. Les formules bien-formées de la signature de l`arithmétique de premier ordre...